Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

نویسندگان

  • Martin Berz
  • Kyoko Makino
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Updating finite element model using frequency domain decomposition method and bees algorithm

The following study deals with the updating the finite element model of structures using the operational modal analysis. The updating process uses an evolutionary optimization algorithm, namely bees algorithm which applies instinctive behavior of honeybees for finding food sources. To determine the uncertain updated parameters such as geometry and material properties of the structure, local and...

متن کامل

Reachability Analysis for Affine Systems Using -Decomposition

This paper presents an approach to compute conservative approximations to the set of reachable states and outputs for affine systems using -decomposition techniques. Instead of performing reachability analysis on the full-order system model, the method presented in this paper first applies -decomposition to obtain a number of -coupled subsystem models, and then performs reachability analysis on...

متن کامل

Output-only Modal Analysis of a Beam Via Frequency Domain Decomposition Method Using Noisy Data

The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...

متن کامل

Uniaxial Buckling Analysis Comparison of Nanoplate and Nanocomposite Plate with Central Square Cut out Using Domain Decomposition Method

A comparison of the buckling analysis of the nanoplate and nanocomposite plate with a central square hole embedded in the Winkler foundation is presented in this article. In order to enhance the mechanical properties of the nanoplate with a central cutout, the uniformly distributed carbon nanotubes (CNTs) are applied through the thickness direction. In order to define the shape function of the ...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017